Rapid specification and automated generation of prompting systems to assist people with dementia

SN̈AP: SyNdetic Assistance Processes

Activity recognition in intelligent environments could play a key role for supporting people in their activities of daily life. Partially observable Markov decision process (POMDP) models have been used successfully, for example, to assist people with dementia when carrying out small multi-step tasks such as hand washing. POMDP models are a powerful, yet flexible framework for modeling assistan...

Comparison of visual evoked potential changes in patients with alzheimer, vascular dementia and minimal cognitive Impairment with healthy people: a case-control study

Background: Alzheimer dementia as the most common cause of dementia is a chronic, progressive, irreversible and incurable disease. The second most common cause of dementia after Alzheimer is vascular dementia. One of the systems involved in dementia is the visuospatial system and visual evoked potential (VEP) can be one of the diagnostic methods for this disease. Therefore, the present study ai...

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

Author's response to reviews Title: The COACH prompting system to assist older adults with dementia through handwashing: An efficacy study Authors:

Towards Interprocess Communication and Interface Synthesis for a Heteogenous Real–Time Rapid Prototyping Environment

Rapid Prototyping has been proposed as a means to reduce development time and costs of real–time systems. Our approach uses a heterogeneous, tightly coupled multiprocessor system based on off–the–shelf components as target architecture for an executable prototype, which is generated from the specification in an automated design process. Here, too, we aim to use existing tools and languages. But...